semantic consistency

There have already been comparatively mature solutions for the judgment of these criteria with the exception of semantic consistency.

在这几个转换标准的判定上，除语义一致性外，其它几个语法层次上的正确性问题都已有相对成熟的解决方案。

The Method of the C~ 4ISR Architecture Dynamic Behavior Semantic Consistency Verification based on Middle Product

中间产品C~4ISR体系结构动态行为语义一致性验证方法

This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram.

论文研究了UML类图模型的语义一致性问题，提出了一种自动检验类图一致性的方法。

Sufficient condition of integer consistency and solution method of semantic consistency is proposed.

它给出了图形协同设计系统中一致性的定义，指出图形一致性包含整体一致性和语义一致性，及其整体一致性的充分条件和语义一致性的解决方法。

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明，用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致，提供了语义异构问题的解决途径。

Semantic consistency verification of Web service composition

Web服务组合语义一致性验证研究

However, there are currently no mature theoretical foundations and verification tools on the analysis and judgment about semantic consistency of model transformations. The definition, description, and proof of semantic property preservation of model transformations are still problems unresolved.

而在模型转换的语义一致性验证和分析方面，目前还没有成熟的理论基础和验证工具，模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题。

Semantic Consistency Problems in Collaborative Editing

协同编辑中的语义一致性问题

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

Creating a single physical copy lets businesses meet performance or availability requirements, deliver snapshots that are point-in-time consistent, and provide sophisticated transformation for semantic consistency.

通过创建单个物理拷贝，企业可以满足性能或可用性需求，交付时间点一致的快照，并为语义一致性提供完善的转换。

Using of information coding to ensure the semantic consistency is a prerequisite for information sharing.

采用信息编码技术，保证信息实体在企业中流通语义的一致性，是实现企业信息共享的前提。